#include<stdio.h>
int main()
{
	float a,b;
	a=123456.789123e5;
	b=a+20;
	printf("%f\n",b);
	return 0;
}
